// { dg-additional-options -fmodule-header }
// { dg-module-cmi {} }
// { dg-skip-if "requires hosted libstdc++ for string" { ! hostedlib } }

#include <string>
